Dependent Types In Haskell: Theory And Practice
from
依存型
Dependent Types In Haskell: Theory And Practice
https://repository.upenn.edu/cgi/viewcontent.cgi?article=4052&context=edissertations
https://www.cis.upenn.edu/~sweirich/papers/eisenberg-thesis.pdf
DBのスキーマの実装に依存型を使う？
めっちゃちゃんとした本